해석학 공부하기
오늘도 해석학 공부를 시작하도록 하겠다. 글을 쓰면서 느끼는 건데, 이것도 정말 쉬운 일이 아닌 것 같다.
어떤 사람들은 동의하지 못할 수도 있겠지만, 많은 사람들에게 있어 해석학이라는 과목이나 학문은 꽤 어렵다고 생각한다. 엄밀한 논리가 핵심이 되는 과목이기 때문에, 대충 넘어가도 되는 부분이 없기 때문이다. 물론 다른 과목이나 학문이라고 해서 그래도 된다는 것은 아니지만, 해석학은 그 정도가 특히 심한 것 같다는 것이다.
그런 과목의 내용을 오류 없이 쉽게 설명하기 위해서는, 나부터가 완벽하게 이 내용들을 이해하고 숙지하고 있어야 하는데, 처음에 이야기한 것처럼 나는 해석학 학점을 매우 망쳤다. 객관적으로 봤을 때, 나는 해석학을 개못하는 사람이라는 것이다. 그런 내가 과목의 내용을 ‘오류 없이’ ‘쉽게’ 설명하려고 하는 것이다.
그래서 갑자기 이 이야기를 왜 하는가 하면, 나도 나름대로 글을 잘 쓰려고 노력하고는 있지만, 미숙하고 엉성한 부분이 많이 있을 수 있다는 것을 말하고 싶은 것이다. 나조차도 글을 쓰다보면, ‘이 부분을 이렇게 써도 될까?’ 싶은 부분이 여럿 있다. 아마 글을 읽는 어떤 독자들도 ‘이거 이렇게 쓴게 맞는거냐?’ 싶은 부분이 여럿 있을 수 있다. 그런 부분들은 댓글 등으로 바로바로 지적해주길 바란다. 자세히 검토한 후 수정하도록 하겠다.
어제 내용 복습
어제는 해석학에서 첫 번째 단원인 The Real and Complex Number Systems 의 네 번째 소단원인 The Real Field 부분에 대해 설명하였고, 이 소단원에는 아직 다루지 않은 실수체에서 성립하는 정리가 하나 남아있는 상태이다.
배운 내용들을 정리하자면, 우선 $\mathbb{R}$ 이라는 기호로 표현되는 LUBP를 가지는 ordered field 가 존재하고, $\mathbb{Q}$를 subfield로 가진다는 정리에 대해서 알아보았다. 증명은 Appendix에서 진행하기로 하고 넘어갔다.
그 다음에는 실수체로 불리는 $\mathbb{R}$ 에서 성립하는 정리인 archimedean property (아르키메데스 성질)에 대해서 알아보았고, 이를 증명해보았다.
마지막으로, “$\mathbb{Q}$ is dense in $\mathbb{R}$” 정리에 대해 알아보았고, 이를 증명해보았다.
어제 내용 복습은 여기서 마무리 하도록 하겠다. 오늘은 실수체에서 성립하는 정리를 하나 더 알아볼 것이고 이를 증명하도록 하겠다. 그 다음은 실수를 소수점을 이용하여 표현하는 방힉인 “decimal”에 대해서 알아보겠다. 마지막으로, 확장된 실수 체계에 대해서 알아보도록 하겠다.
The Real Field
1.21 Theorem
모든 실수 $x > 0$와 모든 정수 $n > 0$에 대하여, $y^n = x$을 만족시키는 실수 $y$가 딱 하나 존재한다.
이 $y$를 $\sqrt[n]{x}$ 또는 $x^{1/n}$과 같이 표기한다.
해설
이 정리가 말하고자 하는 것은, 어떤 실수를 $n$번 곱해서 ($0$보다 큰) $x$라는 실수를 결과로 얻어내고 싶은데, 그것이 가능하고, 그 ‘어떤 실수’가 ‘딱 하나’ 존재한다는 의미이다. 증명은 아래와 같다.
증명
$t^n < x$를 만족시키는 모든 '양의 실수' $t$들을 모두 모아놓은 집합을 $E$라고 하자.
어떤 $t_1 = x / (1 + x)$에 대해 생각해보자. 이 $t_1$는 $0 < t_1 < 1$ 이므로, ${t_1}^n \leq t_1$ 이다. 또한 $x > 0$ 이므로 $1 + x > 1$ 이고, $x / (1 + x) = t_1 < x$를 만족한다. 이 결과들을 조합해보면, ${t_1}^n \leq t_1 < x$가 되므로, $t_1 \in E$ 이다. 여기서 우리는 $E$가 공집합이 아니라는 사실을 알 수 있다.
이번에는 어떤 $t_2 > 1 + x$에 대해서 생각해보자. $x > 0$ 이라서 $1 + x > 1$ 이므로, $t_2 > 1$이고, 따라서 ${t_2}^n > t_2 > 1 + x > x$ 이다. ${t_2}^n > x$이므로, $t_2 \notin E$이다. $1 + x < t_2$ 라는 점을 생각해보면, $1 + x$는 $E$의 upper bound 라는걸 알게된다.
우리가 $E$에 지금까지 얻어낸 정보는 $E$는 empty set이 아니고, $E$에는 upper bound가 존재하기 때문에 bounded above 되어있다는 것이다. 그런데, $E$의 원소들은 모두 $\mathbb{R}$의 원소이기도 하므로, $E \subset \mathbb{R}$ 이게 된다. 여기서 지난번 글의 내용을 떠올려보자. $\mathbb{R}$은 LUBP를 가지고 있다고 했었는데, 마침 $E$는 $\mathbb{R}$의 subset이지 않는가? 바로 그거다! $E$에는 supremum이 존재한다!
지금부터 $\alpha = \sup E$로 표기하겠다. 여기서 내가 하고 싶은 주장은, $\alpha$가 우리가 그토록 찾던 $y$라는 것이다. 우리는 귀류법을 이용해서 이를 증명할 것이다. 먼저, $\alpha^n = y^n = x$ 라는 결론을 부정하여, $\alpha^n < x$ 이거나 (OR), $\alpha^n > x$ 라고 가정하자.
우리가 해야 할일은 이런 전제는 모순을 일으킨다는 것을 보이는 것이다. 이 조건문은 OR 로 묶여있으므로, 둘 중 어느쪽으로 가정하더라도 모순이 보인다는 것을 보여야 한다. 한 번에 할 수는 없다. 왜냐하면 $\alpha^n$이 $x$보다 큰 동시에 작을 수는 없기 때문이다.
시작하기 전에, 우리는 한 가지 정보를 만들고 가겠다. 우선 이 식을 살펴보자. $$b^n - a^n = (b - a)(b^{n-1} + b^{n-2} a + \cdots + a^{n-1})$$ 이 식이 익숙한 사람도 있을 것이고, 처음보는 사람도 있을 것이다. 이 식은 인수분해를 통해 얻어지는 식으로, 다른 곳에서 잘 설명해둔 곳이 많으니 지금은 생략하도록 하겠다. 여기서 이 등식은 $a$와 $b$가 무엇이던 간에 관계없이 성립하는데, 그렇다면, $0<a<b$ 인 경우를 생각해보자. 등식의 우변에 두 번째 괄호 부분을 보면, 여러 개의 항이 더해지는 것을 볼 수 있는데, 항이 뒤로 갈수록 $b$가 하나 덜 곱해지고 $a$가 하나 더 곱해지는 모습을 볼 수 있다.
여기서 우리는 $a < b$ 라고 했으니까, 항이 갈 수록 점점 작아지는 것을 확인할 수 있다. 그렇다면, 첫 번째 항을 제외한 나머지 $n-1$ 개의 항들은 모두 $b^{n-1}$ 보다 작아지게 되는 것이다. 그러면 우리는 이런 부등식을 얻을 수 있게 된다. $$nb^{n-1} = b^{n-1} + b^{n-1} + \cdots + b^{n-1} > b^{n-1} + b^{n-2} a + \cdots + a^{n-1}$$ 첫 번째 항은 같다고 해도, 두 번째 항부터는 계속 더 큰 항을 더했으니 당연히 더 커지는 것이다. 이제 가운데 부분을 생략하면 식은 이렇게 된다. $$nb^{n-1} > b^{n-1} + b^{n-2} a + \cdots + a^{n-1}$$ 여기에 양쪽에 $b-a$ 를 곱해줄 것이다. 참고로 우리는 $0 < a < b$ 인 경우에 대해서 이야기 하고 있기 때문에, 곱해준다고 해서 부등호의 방향이 변하지는 않는다. $$(b-a)nb^{n-1} > (b-a)(b^{n-1} + b^{n-2} a + \cdots + a^{n-1}) = b^n - a^n$$ 이 식에서 가운데 부분을 생략해주고 위치만 바꿔주면, 우리는 이 부등식을 얻게 된다. $$b^n - a^n < (b-a)nb^{n-1}$$ 이제 우리가 필요한 부등식은 얻었다. 다시 증명으로 넘어가도록 하겠다. 참고로 우리가 지금 해야할 일은, 이 부등식을 바탕으로, 아까 말했던 $y^n = x$가 성립한다는 것을 보이는 것이다. 귀류법을 이용할 것이며, $y^n > x$ 일 때와 $y^n < x$ 일 때 모두 모순을 일으킨다는 것을 보여야 한다.
우선 $y^n < x$ 인 경우를 가정하자. 먼저, 아래 식을 만족시키는 어떤 $0 < h < 1$ 인 $h$를 잘 잡아보자. $$h < \frac{x - y^n}{n(y+1)^{n-1}}$$ 조금 전에도 막 이상한 부등식을 만들었으면서 또 갑자기 무슨 $h$를 찾느니 하는 불만이 생길 수 있다. ~~(사실 내가 그런 불만이 생겼다.)~~ 하지만 조금만 더 버티면 엄청난 결과를 얻어낼 수 있으니 참고 따라와주길 바란다. 일단 이런 $h$ 를 잡는다는게 무슨 말인가 하면, 말 그대로 내가 말한 조건들을 만족하는 적당한 $h$ 를 상상해보자는 것이다. 값이 어떻게 되는지 정확히 알 필요는 없다. 핵심은, 그런 $h$ 를 잡아서 식을 조작하는데 사용하는 것이다.
이런 적당한 $h$를 잡기 위해서는 이러한 $h$가 존재한다는 것을 보여야 한다. 그리고 그것은 어렵지 않다. 먼저 부등식의 오른편에 있는 분자 $x - y^n$ 을 살펴보면, 우리의 가정에 따라 $y^n < x$ 이기 때문에, $x - y^n > 0$ 이 되고, 이는 분자가 양수임을 의미한다.
그 다음은, 분모를 살펴보자. $n(y+1)^{n-1}$ 이라고 되어있는데, $n$은 $0$ 보다 큰 정수이다. 이제 여기서 $y$가 양수라는 사실만 보이면, $y + 1$은 $1$ 보다 크고, 그 $1$보다 큰 수를 $0$ 번 이상 곱했기 때문에 $(y+1)^{n-1} \geq 1$ 이 되고, 결국 $n(y+1)^{n-1} \geq 1$이 된다는 것을 말할 수 있다.
그렇다면 어떻게 해야 $y > 0$ 임을 보일 수 있을까? 우리는 $y$가 무엇인지 이야기 하는 과정에서, 이미 $y$가 양수임을 보였다. 기억을 되살려보면, $y = \sup E$ 였다. $E$ 집합이 무엇인가 하면, $t^n < x$ 를 만족시키는 모든 양의 실수 $t$의 집합이다. supremum 의 정의에 따라 $y$는 이러한 모든 $t$ 보다 크거나 같으므로, $y$ 도 마찬가지로 양수인 것이다.
이걸로 우리는 분자는 $0$보다 크고, 분모는 $0$보다 크거나 같다는 것을 보였다. 따라서 다음과 같은 식이 성립하게 된다. $$0 < \frac{x - y^n}{n(y+1)^{n-1}}$$ 저 분수가 만약 1보다 크거나 같다면, $h$ 로 $0$ 과 $1$ 사이의 적당한 수를 잡으면 되는 것이고, $1$ 보다 작다고 하더라도, 그 분수가 $0$ 보다는 큰 이상, 두 수 사이에 있는 적당한 $h$ 를 찾아낼 수 있다.
이제 우리는 적당한 $h$가 존재한다는 것을 보였다. 이제는 이 $h$를 사용하여, $y^n < x$ 라고 가정했을 때 모순이 생긴다는 것을 보이도록 하겠다.
아까 만들었던 부등식 $b^n - a^n < (b-a)nb^{n-1}$ 에서 $a$ 를 $y$로, $b$ 를 $y + h$로 바꾸면 이런 식이 나온다. $$(y+h)^n - y^n < (y+h-y)n(y+h)^{n-1} = hn(y+h)^{n-1}$$ 여기서 맨 오른쪽의 식을 보자. $h$, $n$, 그리고 $(y+h)^{n-1}$ 이 곱해져 있는 것을 볼 수 있는데, 이들은 모두 $0$ 보다 크다. 따라서, $hn$ 은 $0$ 보다 크다. 이 사실을 염두에 두고 $(y+h)^{n-1}$ 부분을 살펴보자.
이 부분은 $y+h$ 가 $n - 1$ 번 곱해져 있는 모습인데, $h$ 가 $1$ 보다 작다는 사실을 기억하는가? 그 점을 이용하면, $y+h < y+1$ 이라는 부등식을 얻어낼 수 있다. $y+h$ 와 마찬가지로 $y+1$ 도 $0$ 보다 크기 때문에, 각각 여러 번 곱해도 두 부등호의 방향은 변하지 않는다. 따라셔, $(y+h)^{n-1} < (y+1)^{n-1}$ 인 것이다. 그리고 조금 전에 $hn > 0$ 임을 보였고, 이걸 방금 얻어낸 부등식에 접목 시키면, $hn(y+1)^{n-1} < hn(y+1)^{n-1}$ 이 된다.
우리가 이렇게 얻어낸 부등식을 원래의 것과 합치면 이런 결과를 얻게 된다. $$(y+h)^n - y^n < hn(y+h)^{n-1} < hn(y+1)^{n-1}$$ 그리고 여기서, 우리는 $h$에 대한 부등식을 변형하여 아래처럼 새로운 부등식을 얻어낼 수 있다. $$h < \frac{x - y^n}{n(y+1)^{n-1}}, \quad h \cdot n(y+1)^{n-1} = hn(y+1)^{n-1} < \frac{x - y^n}{n(y+1)^{n-1}} \cdot n(y+1)^{n-1} = x - y^n$$ 이 부등식을 조금 전의 부등식과 합치면, 최종 부등식은 이렇게 된다. $$(y+h)^n - y^n < hn(y+h)^{n-1} < hn(y+1)^{n-1} < x - y^n$$ 이 최종 부등식에 가운데 부분을 들어내면 $(y+h)^n - y^n < x - y^n$ 가 되는데, 이제 양쪽에 $y^n$ 을 더해주면, $(y+h)^n < x$ 가 된다.
이제 거의 다 왔다. 아까 정의했던 집합 $E$의 정의에 따라, $y+h \in E$ 가 되어야 한다. 왜냐하면, $(y+h)^n < x$ 을 만족시키기 때문이다. 우리가 그토록 찾아 헤메던 모순은 여기서 발생한다! 우리는 분명 $y = \sup E$ 라고 했고, supremum의 정의에 따라, $y + h \leq y$ 여야 하는데, $h > 0$ 이기 때문에 $y + h > y$ 여야 한다. 이 둘은 동시에 성립할 수 없기 떄문에, 모순이 발생한다는 것을 알 수 있다.
그래서 일단 $y < x^n$ 일 때 모순이 생긴다는 것은 보였다. 이제 남은건, $y > x^n$ 일 때이다. 이 경우에도 모순이 생긴다는 것을 보여야 한다. 다행히, 이번에도 아까 만들어낸 정보를 재활용할 것이고, $h$ 대신 $k$ 만 잘 잡으면 비슷하게 증명할 수 있기 때문에 글의 길이는 좀 더 짧을 것이다.
$y^n > x$ 라고 가정하고, 아래 식과 같은 어떤 $k$를 생각해보자. $$k = \frac{y^n - x}{ny^{n-1}}$$ 이건 뭐 딱히 존재하는지 존재하지 않는지 증명할 것도 없다. 그냥 저 식을 $k$로 나타내기로 한 것 뿐이다. 한 가지 따질 점이 있다면, 분자와 분모가 각각 양수인지, 0인지, 음수인지 정도 일 것이다. 우선 분자를 먼저 살펴보자.
분자는 $y^n - x$이라고 되어있는데, 이는 우리의 가정 $y^n > x$ 에 따라, $0$ 보다 큰 양수임을 알 수 있다. 달리 말하면, $y^n - x > 0$ 이기 때문에 분자는 양수인 것이다.
이번에는 분모를 살펴보도록 하자. $ny^{n-1}$ 이라고 되어있는데, $n$ 은 양의 정수이고, $y > 0$ 이기 때문에 분모 역시 분자처럼 양수이다. $n$ 이 양의 정수인거는 애초에 $n$이 처음 나올 때 부터 그렇게 약속을 했던 것이고, $y > 0$ 인 것은 조금 전에 다루었던 내용이다. 여기서도 조금 전에 증명했던 방식과 같은 방식으로 $y > 0$ 임을 보일 수 있다.
여기까지 얻어낸 결론은, 분자와 분모 모두 양수라는 사실이고, 이는 $k > 0$ 이라는 결론으로 이루어진다. 여기서 우리는 한 가지 정보를 더 얻고 갈 것이다. 그것은 $k < y$ 라는 사실이다.
이것을 보이는 것은 그렇게 어렵지 않다. 우선, $y^n - x < ny^n$ 이라는 부등식에 대해서 먼저 생각해보자. 조금만 생각해보면, 이 부등식은 당연히 성립한다는 것을 알 수 있다. $n$은 양의 정수이기 때문에, 아무리 작아도 $1$ 이다. 따라서, $y^n \leq ny^n$ 인 것이다. 그런데, 우리가 이야기하고 있는 부등식을 보면, $y^n$에서 $x$를 뺀 것이 왼쪽 편에 있는 식이다. 당연하게도 $y^n - x < y^n$ 이고, 이를 이어붙이면 $y^n - x < y^n \leq ny^n$ 이 된다. 따라서, $y^n - x < ny^n$이고, 양변을 $ny^{n-1}$ 로 나누어주면 다음과 같은 식이 성립한다. $$\frac{y^n - x}{ny^{n-1}} = k < \frac{ny^n}{ny^{n-1}} = y$$ 따라서, $0 < k < y$가 성립한다. 이제 필요한 정보는 모두 모였다... 어떤 문자 $t$ 딱 하나만 더 잡으면 말이다. $t \geq y - k$를 만족하는 $t$에 대해 생각해보자. 이 $t$를 잘 이용하면, 이런 부등식을 얻어낼 수 있다. $$y^n - t^n \leq y^n - (y-k)^n$$ 이제, 우리가 아까 전에 만들었던 부등식 $b^n - a^n < (b-a)nb^{n-1}$ 에서 $a$를 $y - k$로, $b$를 $y$로 바꾸면, 이런 부등식을 얻을 수 있다. $$y^n - t^n \leq y^n - (y-k)^n < (y-(y-k))ny^{n-1} = kny^{n-1} = \left(\frac{y^n - x}{ny^{n-1}}\right)ny^{n-1} = y^n - x$$ 가운데를 싹 없애면, $y^n - t^n < y^n - x$ 이렇게 된다. 이제 양쪽에서 $y^n$ 을 빼주고 부호를 바꾸어 부등호의 방향을 뒤집어 주면, $t^n > x$ 라는 결론을 얻게 된다.
이 $t$는 $E$의 정의에 따라, $t \notin E$ 이다. 그런데, 이러한 $t$ 들의 특징은 $t \geq y - k$ 이라는 것이고, 이것은 $y - k$가 $E$의 upper bound 라는 의미가 된다. 여기가 모순이 발생하는 지점이다. $y - k < y$인데, 우리는 분명 $y$를 $E$의 supremum 이라고 했었다. supremum 은 upper bound 중에서 제일 작은 것인데, 더 작은 $y - k$가 $E$의 upper bound 라고 이야기를 하는 것이다. 이것은 명백히 모순된다.
우리는 길고 긴 여정을 거쳐 $y^n < x$ 일 때와 $y^n > x$ 이라고 가정할 때 모두 모순이 발생함을 보였다. 그렇다면 남는 가능한 경우는 한 가지 밖에 없다. 바로, $y^n = x$인 것이다. $\blacksquare$
이걸로 정리의 증명이 완료되었다. 지금까지 한 증명중에 가장 길고 복잡한 증명이기 때문에, 한 번에 이해하지 못했어도 괜찮다. 시간을 들여 차분히 이해하고 따라오길 바란다. 당장 다시 읽기 너무 힘들다면 한숨 자고 와서 맑은 정신으로 다시 읽는 것도 도움이 될 것이다.
바로 다음 내용으로 넘어가고 싶지만, 여기서 ‘따름 정리’가 하나 있다. 이것도 짚고 넘어가도록 하자.
Corollary of 1.21
만약 $a$와 $b$가 어떤 양의 실수들이고 $n$이 양의 정수라면, 다음 식이 성립한다.
\[(ab)^{1/n}=a^{1/n}b^{1/n}\]
해설
이 따름 정리가 말하는 것은, 어떤 수의 ‘제곱’들이 묶이거나 분배될 수 있음을 보인다. 일반적인 자연수로도 되는 것이기 때문에, 어느정도는 와닿는 내용일 것이다. 증명은 다음과 같다.
증명
이 증명에서는 앞에서 이미 증명을 완료한 정리 1.21을 활용할 것이다. 혹시 앞의 정리 내용을 읽고 오지 않았다면, 적어도 그것이 무슨 정리인지 정도는 읽고 오도록 하자.
$\alpha = a^{1/n}$, $\beta = b^{1/n}$ 라고 하자. 그러면 `field` 의 곱셈 공리 중 두 번째 공리인 M2에 따라서 곱셈의 교환법칙이 성립하므로 다음 식도 성립한다. $$ab = \alpha^n \beta^n = (\alpha\beta)^n$$ 왜 갑자기 이런 결론이 나오는지 혼란스러울 수 있다. 지금부터 각 등호가 어떻게 성립하는지 하나씩 설명하도록 하겠다.
우선 $a$와 $b$는 정리 1.21에 따라 각각 $\alpha^n$과 $\beta^n$과 같다. 이 이야기가 잘 와닿지 않는다면, 정리 1.21에서 $y$에 각각 $\alpha$와 $\beta$를, $x$에 각각 $a$와 $b$에 대입해서 생각해보면 좀 더 이해가 갈 것이다.
첫 번째 등호는 방금 이야기 했던 것 처럼 $a=\alpha^n$ 이고 $b=\beta^n$ 이기 때문에 둘이 곱하면 자연스럽게 $ab = \alpha^n \beta^n$ 가 나온다. 여기까지가 첫 번째 등호가 성립하는 이유이다.
두 번째 등호가 성립함을 보이기 위해서는, $\alpha^n$ 과 $\beta^n$ 은 각각 $\alpha$와 $\beta$가 $n$번 곱해진 것임을 기억해내야 한다. 식으로 표현하면 이런 느낌이다. $$\alpha^n \beta^n = \alpha\alpha\alpha\cdots\beta\beta\beta\cdots$$ 참고로 $n$이 몇인지 모르기 때문에 $\cdots$ 기호로 표시해둔 것이다. 만약 $n$이 3 이하라면, 저 $\cdots$ 는 사라져야 하고, $n$이 $3$보다도 작다면, 각 문자의 개수도 줄어들어야 한다.
어쨌든 저렇게 쭉 나열해서 썼기 때문에 계속 문자 위치를 바꿔치기 할 수 있다. 이 바꿔치기 할 수 있다는게 M2의 내용이기도 하다. 그렇게 열심히 바꿔치기를 진행하다 보면, 이런 결론을 얻는다. $$\alpha^n \beta^n = \alpha\alpha\alpha\cdots\beta\beta\beta\cdots = \alpha\beta\alpha\beta\alpha\beta\cdots$$ 이번엔 문자의 개수나 $\cdots$ 에 대한 이야기는 생략하겠다. 이제 남은 건, 괄호를 씌워주는 일이다. 저런 표현법은 사실 괄호가 생략된 표현법이고, 실제로 괄호를 보면, 이런 느낌으로 되어있다. $$\alpha\alpha\alpha\cdots\beta\beta\beta\cdots = \alpha\beta\alpha\beta\alpha\beta\cdots=(((((\alpha\beta)\alpha)\beta)\alpha)\beta)\cdots$$
이제 여기서 M3를 활용하면 된다. 괄호를 치는 영역을 이리저리 잘 바꿔가면 이러한 결과를 얻어낼 수 있다. $$(((((\alpha\beta)\alpha)\beta)\alpha)\beta)\cdots = ((((\alpha\beta)(\alpha\beta))\alpha)\beta)\cdots = (((\alpha\beta)(\alpha\beta))(\alpha\beta))\cdots$$ 이걸 계속 반복하면 $(\alpha\beta)$ 가 반복되는 형태의 식을 얻어내게 되고, 이걸 그 표기법에 따라 줄이면, $(\alpha\beta)^n$ 이 된다. 이걸로 두 번째 등식이 성립하는 것을 보일 수 있다.
여기까지 왔으면 이런 의문이 들 수 있다. 등식이 성립한 걸 보인건 좋은데, 이걸 보여서 대체 뭘 어쩌겠다는 건가? 그건 남은 증명을 보면 이해할 수 있을 것이다.
다시 정리 1.21을 살펴보자. 우리가 얻어낸 식에 따르면, $(\alpha\beta)^n = ab$ 인데, 정리 1.21에서 $y$에 $\alpha\beta$를, $x$에 $ab$를 대입해보면, 이 $\alpha\beta$는 $(ab)^{1/n}$ 과 같다는 결론이 나오게 된다. 즉 $\alpha\beta = a^{1/n} b^{1/n} = (ab)^{1/n}$ 이 되는 것이다! 여기서 $\alpha$ 와 $\beta$ 의 역할은 끝나게 된다. 등식에서 앞의 부분을 제거하면, 우리가 원하던 결과인 아래의 식이 나오게 된다. $$a^{1/n} b^{1/n} = (ab)^{1/n}$$ 여기서 순서만 뒤집으면 따름 정리의 증명이 완료된다. $\blacksquare$
이 따름 정리의 증명은 우리가 조금 전에 증명해두었던 정리 1.21의 내용을 사용하였다. 그렇기 때문에 ‘따름 정리’라는 이름이 붙는 것이다. 이제 다음 내용으로 넘어가도록 하겠다.
1.22 Decimals
어떤 $x > 0$가 실수라고 하자. 그리고 어떤 $n_0$가 $n_0 \leq x$ 를 만족시키는 가장 큰 정수라고 하자. ($\mathbb{R}$ 의 archimedean property 에 의해 이러한 $n_0$이 존재할 수 있다.) $n_0$, $n_1$, … , $n_{k - 1}$를 선택한 후, $n_k$를 다음 식을 만족시키는 가장 큰 정수라고 하자.
\[n_0 + \frac{n_1}{10} + \cdots + \frac{n_k}{10^k} \leq x\]
$E$를 아래와 같은 수들을 모아둔 집합이라고 하자.
\[n_0 + \frac{n_1}{10} + \cdots + \frac{n_k}{10^k} \qquad (k = 0, 1, 2, \cdots)\]
그러면, $x=\sup E$이다. $x$의 decimal expansion은 다음과 같다.
\[n_0 \cdot n_1 n_2 n_3 \cdots\]
해설
여기서 소개한 Decimal은 실수를 나타내는 표현법이다. 흔히 생각하는 소수점을 이용한 표기법이라고 생각하면 된다. 예를 들어, $\sqrt{2}$ 를 나타내기 위해서 $1.41421356 \cdots$ 와 같이 나타내는 방식인 것이다.
이러한 $\sqrt{2}$ 같은 무리수는 유한한 개수의 숫자로는 나타낼 수가 없이, 무한히 계속 이어지게 된다. 그래서 보통 일정 자리수까지 쓰고, $\cdots$ 같은 기호로 뒤에 계속 이어짐을 나타내기도 한다. 그렇다면, 소수점 $n$ 번째 자리의 숫자에 쓰는 숫자는 어떻게 결정되는 것일까?
결론부터 말하자면, ‘골랐을 때 기존의 수보다는 커지지 않게 하는 최대의 숫자’를 선택한다고 생각하면 된다. $\sqrt{2}$ 의 예시를 들어보도록 하겠다.
우선 소수점으로 넘어가기 전에, $\sqrt{2}$ 보다는 작은 최대의 정수를 먼저 선택한다. $2$는 $\sqrt{2}$ 보다 크기 때문에 선택될 수 없고, $1$ 은 $\sqrt{2}$ 보다 작은 최대의 정수임으로, $1$을 먼저 적는다.
\[\sqrt{2} = 1.\cdots\]
그 다음에는, $1.? \leq \sqrt{2}$ 를 만족 시키는 ?의 최대값을 찾아야 한다. $1.5$ 부터는 $\sqrt{2}$ 보다 커지기 때문에 ?는 5 이상일 수 없고, $1.4$는 $\sqrt{2}$ 보다 작은 $1.?$ 중에 최대이기 때문에, ?의 값으로는 $4$가 들어가야 한다.
\[\sqrt{2} = 1.4\cdots\]
그 다음에는, $1.4? \leq \sqrt{2}$ 를 만족 시키는 ?의 최대값을 찾아야 한다. $1.42$ 부터는 $\sqrt{2}$ 보다 커지기 때문에 ?는 5 이상일 수 없고, $1.41$는 $\sqrt{2}$ 보다 작은 $1.4?$ 중에 최대이기 때문에, ?의 값으로는 $1$이 들어가야 한다.
\[\sqrt{2} = 1.41\cdots\]
이러한 과정을 계속 반복하여 표현하게 되면, 그것이 decimal 표현인 것이다. 이는 물론 무리수 뿐만 아니라 유리수에서도 적용할 수 있다. 예를 들어, $1/3 = 0.333333 \cdots$ 로 표현하거나, $21/2 = 10.500000 \cdots = 10.5$ 처럼 뒤에 $0$이 반복되는 부분을 생략하는 등의 표현법도 가능하다.
참고로 우리의 교재에서는 decimal 표현법은 사용하지 않을 것이기 때문에 더 자세한 논의는 하지 않는다고 한다. 우리도 decimal 표현법은 이정도로 알아보면 충분할 것이다.
The Extended Real Number System
1.23 Definition
The extended real number system (확장된 실수 체계)는 실수체 $\mathbb{R}$과 두 기호, $+\infty$ 와 $-\infty$로 구성된다. 우리는 기존의 order는 $\mathbb{R}$ 에서의 order을 유지하되, 모든 $x \in \mathbb{R}$ 에 대하여 $-\infty < x < +\infty$ 로 정의한다.
이로써, $+\infty$는 확장된 실수 체계의 모든 subset의 upper bound이며, 이 확장된 실수 체계의 모든 nonempty subset은 least-upper-bound를 가진다. (확장된 실수 체게는 LUBP를 가진다.) 이 내용들은 lower bound들에 대해서도 성립한다.
확장된 실수 체계는 field 를 이루지 못하나, 보통 다음과 같은 규칙을 따른다.
-
만약 $x$가 실수이면, 다음 식들을 만족한다.
\[x + \infty = +\infty, \quad x - \infty = -\infty, \quad \frac{x}{+\infty} = \frac{x}{-\infty} = 0.\]
-
만약 $x>0$ 이면, $x \cdot (+\infty) = +\infty$ 이고, $x \cdot (-\infty) = -\infty$ 이다.
-
만약 $x>0$ 이면, $x \cdot (+\infty) = -\infty$ 이고, $x \cdot (-\infty) = +\infty$ 이다.
실수들과 두 기호 $+\infty$, $-\infty$를 구분짓고 싶을 때, 전자를 finite (유한) 이라고 부른다.
해설
이 정의에서는 확장된 실수 체계를 정의한다. 확장되었다는 의미는, 기존의 실수를 포함하면서 새로운 개념을 도입하였다는 것인데, 그것이 이번 정의에서 처음 등장한 무한대 기호인 것이다.
무한대 기호를 보면, 단독으로 쓰이지 않고 $+$ 혹은 $-$ 기호와 함께 사용되는 모습을 확인할 수 있다. 우리도 이 정의에 따라서 무한대 개념을 사용해야 하는 경우에 기호를 항상 포함시키도록 하겠다.
위에서 보면, 확장된 실수 체계가 field 를 이루지 못한다는 이야기가 나온다. 그런데 그 앞에서는 LUBP를 가진다는 이야기도 나온다. 헷갈릴 수 있기 때문에, 표를 이용하여 실수와 확장된 실수 체계를 비교해보도록 하겠다.
이 표의 내용을 하나씩 이야기 해보도록 하겠다.
우선, ordered set 에 대한 내용이다. ordered set은 정의에 따라 집합에 포함된 두 원소가 세 가지 관계 ($x < y$ 또는 $x = y$ 또는 $y < x$) 를 만족하면서, $x < y$ 이고 $y < z$ 이면 $x < z$ 인 방식으로 관계가 유지되어야 한다.
이건 모든 $x \in \R$ 에 대해서 $-\infty < x < +\infty$ 로 정의하였기 때문에 ordered set의 정의에 부합한다. 만약 의심이 된다면, 직접 이런저런 수를 넣어보면서 테스트 해보도록 하자.
다음은 field 에 대한 내용이다. 안타깝게도, 실수체와는 달리 확장된 실수 체계는 field 를 형성할 수 없다. field 에 덧셈과 곱셈에 대한 공리가 있었던 사실을 기억하는가? 그 공리에 따르면 모든 원소는 ‘역원’을 가져야 한다. 두 연산에서 모두 말이다. (물론 곱셈에서 $0$의 역원은 존재하지 않는다. 이 내용은 분명 중요한 내용이기는 하지만, 매번 이걸 말하는 것도 손가락이 아프니 생략하겠다.)
기존의 실수들은 모두 덧셈과 곱셈에서 모두 역원을 가졌지만, 확장된 실수 체계에서 $-\infty$ 와 $+\infty$ 는 곱셈에서와 덧셈에서 모두 ‘역원’이 존재하지 않는다. 그래서 field 에서의 덧셈과 곱셈이 만족해야하는 공리를 충족시키지 못하게 되고, 결국 확장된 실수 체계는 field 가 되지 못하는 것이다.
다음은 2가지 추가조건에 대한 이야기이다. 2가지 추가조건이라고만 써놔서 저게 도대체 무슨 소리인가 싶을 수 있다. 여기서 말한 2가지 추가조건은 ordered set 이면서 field 인 어떤 set 이 ordered field가 되기 위해서 충족해야 하는 2가지 추가조건인 것이다.
2가지 조건이 무엇인지 다시 살펴보자.
- $x,y,z \in F$ 이고 $y < z$ 이면, $x + y < x + z$ 이다.
- $x,y \in F$ 이고 $x>0$, $y>0$ 이면, $xy > 0$ 이다.
여기서 첫 번째 조건에서 문제가 하나 생긴다. 예를 들어, $y$와 $z$ 를 각각 $-\infty$와 $0$이라고 두고, $x$ 를 $+\infty$ 로 두게 되면, $y < z$ 의 경우 $-\infty < 0$ 이 제대로 성립하지만, 양쪽에 $x$ 를 더한 부등식의 경우, $-\infty + \infty < 0 + \infty$ 같은 식이 되는데, $-\infty + \infty$ 는 정의 자체가 안되어 있기 때문에 order를 매길 수도 없게 된다. 따라서, 두 가지 추가조건을 모두 만족하지는 않게 되는 것이다.
마지막으로, LUBP에 대한 내용을 살펴보자. LUBP의 정의를 다시 생각해보면, bounded above 되어있는 모든 subset이 least-upper-bound를 가진다는 것이 LUBP의 정의이다. 기존의 실수체는 LUBP를 가지고 있는 것을 보였는데, 확장된 실수 체계는 어떻게 LUBP를 가지는 것일까? 가능한 아래의 두 가지 케이스들을 고려해보면 쉽게 이해할 수 있다.
-
어떤 bounded above 된 subset이 $+\infty$를 포함하지 않는 경우:
이 경우는 사실 두 가지의 세부 케이스들로 나눌 수 있다. $-\infty$ 를 포함하거나, 포함하지 않는 경우로 나눌 수 있는데, 두 경우 모두 least-upper-bound를 가진다.
포함한다면, $-\infty$ 를 제외하고, 포함하지 않는다면 그대로 두었을 때, 그 집합은 실수채의 subset이 되고, 실수체의 LUBP로 인해 이 $-\infty$가 없거나 일시적으로 제외된 집합은 least-upper-bound를 가지게 된다.
이 subset이 처음부터 $-\infty$ 를 가지고 있지 않았다면 이야기는 여기서 끝나고, 가지고 있다 하더라도 모든 $x \in \R$ 에 대하여 $-\infty < x$ 이기 때문에, 가져온 least-upper-bound는 여전히 least-upper-bound로 남아있을 수 있는 것이다.
-
$+\infty$ 를 포함하는 경우:
이 경우는 least-upper-bound가 $+\infty$가 된다. 정의에 따라 모든 $x \in \R$ 에 대하여 $x < +\infty$ 이기 때문에, $+\infty$는 upper bound이고, 동시에 least-upper-bound 이게 되는 것이다.
이 두 가지 케이스에서 모두 확장된 실수 체계의 bounded above 된 subset은 least-upper-bound를 가지게 된다는 것을 알 수 있다. 여기서 2번째 케이스에는 bounded above 라는 표현이 없는걸 지적할 수도 있겠지만, $+\infty$를 원소로 가지는 시점에서 bounded above 하게 되는 것이다. 정의에 따라 확장된 실수 체계에서 $+\infty$ 큰 원소는 존재하지 않기 때문이다.
이를 통해 우리는 확장된 실수 체계가 LUBP를 가지는 ordered set이라는 결론에 다다르게 된다. $+\infty$ 와 $-\infty$를 포함하게 되면서 field의 성질은 잃어버리게 되지만, LUBP가 유지된다는 사실은 조금 신기하게 느껴진다. 확장된 실수 체계에 대한 설명은 여기서 마치도록 하겠다.
마무리
오늘 배운 내용들을 간단하게 요약해보겠다.
-
어떤 양의 실수 $x$에 대하여 $n$ 제곱근이 항상 유일하게 존재한다는 정리가 성립함을 확인하였다.
-
decimal 표현법이 어떤 식으로 정의된 것인지 확인하였다.
-
$+\infty$ 와 $-\infty$ 기호를 포함한 확장된 실수 체계에 대해 알아보고 성질들을 탐구해보았다.
이 글을 유심히 본 사람은 별로 없겠지만, 이 글은 작성일자와는 달리 며칠에 걸쳐 작성된 글이다. 정리를 세세하게 풀어썼기 때문에 시간이 오래걸린 것이다.
이 과정은 매우 고되고 지루한 일이었다. 모든 부등식과 문자가 증명 과정에서 어떤 식으로 활용되는지 일일히 따지는 것은 엄청나게 머리가 아픈 작업이었다. 글을 쓰면서도 너무 길어서 몇번씩이나 회의감이 들었지만, 대충 설명하려면 책과는 다를 바가 없어서 최선을 다해서 세세하게 풀어서 설명하도록 노력하였다.
엄청나게 힘들긴 해도, 덕분에 어떤 식으로 증명하는지는 머리 속에 잘 이해가 되었다. 어짜피 해석학을 확실하게 이해하고 넘어가는게 이 글들을 쓰는 목적이기도 하니 앞으로도 이런 험난한 길을 걷고자 한다.
험난한 길을 걷는 내 모습이다. 스핀 점프로 지나가면 쉽다. 나를 죽이기 위해선 검은 꽃을 들고 왔어야지
오늘의 공부는 여기까지!